-x1 + -x2; 
x1 > 1; 
x2 > 1; 
x1 + x2 > 2; 
int x1;